SyntaxForOperators.agda:5,22-22
SyntaxForOperators.agda:5,22: Syntax declarations are allowed only for simple names (without holes)
<EOF><ERROR>
...
